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