TSTP Solution File: COL042-5 by SInE---0.4