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