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