TSTP Solution File: LAT380+1 by Refute---2015