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