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