TSTP Solution File: ARI171_1 by CARINE---0.734