TSTP Solution File: LAT307+4 by Nitpick---2016