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