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