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