TSTP Solution File: ARI461_1 by SETHEO---3.3