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