TSTP Solution File: NUN041^1 by SInE---0.4