Chess Problem Solver -- version 1
Mate in: