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