Puzzles solved by BoruZero