TSTP Solution File: PUZ025-1 by Nitpick---2016