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