TSTP Solution File: PUZ129+2 by SETHEO---3.3