TSTP Solution File: ARI463_1 by SRASS---0.1