TSTP Solution File: NUN008_5 by Refute---2015