Puzzles solved by SEBAS