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