TSTP Solution File: COM067_5 by SInE---0.4