TSTP Solution File: LAT371+3 by Nitpick---2016