variables
	x in [-pi,pi];
	y in [-pi,pi];
constraints
	y*x^2+x*y^2<=0.5;
end
