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