TSTP Solution File: PUZ073+1 by CARINE---0.734