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