TSTP Solution File: ARI033_1 by DCTP---1.31