TSTP Solution File: LAT274-2 by Mace4---1109a