Puzzles solved by RAMISAL