TSTP Solution File: PUZ025-1 by SRASS---0.1