TSTP Solution File: ARI287_1 by SRASS---0.1