TSTP Solution File: LAT312+3 by Mace4---1109a