TSTP Solution File: COM069_5 by SInE---0.4