TSTP Solution File: ARI196_1 by CARINE---0.734