TSTP Solution File: ARI242_1 by SRASS---0.1