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