TSTP Solution File: AGT019+1 by CARINE---0.734