cheating version using a solver

-find solutions with a solver, runs all examples in about 1s on a netbook
-can play with the number base (e.g. make it negative) and the allowed solution range (setting to 0-9 only succeeds on the first 'is it ok' problem)