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