TSTP Solution File: ALG227+3 by CARINE---0.734