TSTP Solution File: NUN023^2 by SInE---0.4