Puzzles solved by SOFIZ