TSTP Solution File: ARI394_1 by SETHEO---3.3