TSTP Solution File: LAT333+2 by DCTP---1.31