TSTP Solution File: LAT330+2 by Refute---2015