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