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