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