alternative solution should be remembered by Solver