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