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