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