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