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