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