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