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