TSTP Solution File: ARI116_1 by SRASS---0.1