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