Added the 'cheating' version of a solver