TSTP Solution File: COM206^1 by SInE---0.4