TSTP Solution File: NUM834^5 by SInE---0.4