TSTP Solution File: ARI308_1 by SETHEO---3.3