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