TSTP Solution File: ARI224_1 by SETHEO---3.3