TSTP Solution File: ARI538_1 by CARINE---0.734