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