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