TSTP Solution File: ARI510_1 by CARINE---0.734