TSTP Solution File: ARI080_1 by DCTP---1.31