TSTP Solution File: LAT312+1 by DCTP---1.31