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