Try  %% Catch the final exception.
    !x = each [0,...,100].
    !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.
  %Try