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