Puzzles solved by FORCA