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