forward checking not quite; add some sample puzzles