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