TSTP Solution File: LAT292+3 by Refute---2015