TSTP Solution File: AGT031^1 by CARINE---0.734