TSTP Solution File: NUM180-1 by SInE---0.4