TSTP Solution File: ARI033_1 by SRASS---0.1