TSTP Solution File: ARI080_1 by SETHEO---3.3