TSTP Solution File: LAT162-1 by Mace4---1109a