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