TSTP Solution File: LAT387+4 by Mace4---1109a