TSTP Solution File: LAT301+4 by Nitpick---2016