TSTP Solution File: LAT324+4 by Refute---2015