TSTP Solution File: LAT394-2 by Nitpick---2016