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