Puzzles solved by EJBC