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