TSTP Solution File: LAT378+2 by Nitpick---2016