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