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