TSTP Solution File: ARI022_1 by SRASS---0.1