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