TSTP Solution File: LAT045-1 by Refute---2015