Let x = each [0,...,100].
  Let y = each [0,...,100].
  Ensure x*y - 2*x^2 + y == 10.
  Writeln[$(x,y)].
  Ensure false.    %% Kill this branch and try the next one.