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