TSTP Solution File: LAT332+3 by Refute---2015