TSTP Solution File: ARI497_1 by SRASS---0.1