TSTP Solution File: ARI266_1 by DCTP---1.31