TSTP Solution File: PUZ031+3 by DCTP---1.31