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