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