TSTP Solution File: ARI373_1 by SRASS---0.1