TSTP Solution File: ARI091_1 by DCTP---1.31