Variables
  x in [-10,10],
  y in [-10,10];

Constraints
  2*x*y + y = 1,
  x*y = 0.2;
