TSTP Solution File: LAT317+1 by Nitpick---2016