TSTP Solution File: ARI389_1 by SRASS---0.1