TSTP Solution File: ARI633_1 by Mace4---1109a