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