add backtacking to Ex-4.2
fixed Solver in Ex-4.2; cleanup