TSTP Solution File: ALG220+2 by DCTP---1.31