Puzzles solved by BASTIML