TSTP Solution File: ARI017_1 by SRASS---0.1