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