TSTP Solution File: ALG294^5 by SInE---0.4