TSTP Solution File: NUN008_5 by SInE---0.4