TSTP Solution File: LAT270-1 by Nitpick---2016