TSTP Solution File: LAT372+1 by Nitpick---2016