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