Puzzles solved by JBOB