Solving Mate Problems