TSTP Solution File: ARI093_1 by SRASS---0.1