TSTP Solution File: ARI308_1 by DCTP---1.31