TSTP Solution File: COM001_1 by SInE---0.4