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