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