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