TSTP Solution File: ALG332-1 by SInE---0.4