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