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