Solving problems by Guess and Check