Puzzles solved by PETROLIX