TSTP Solution File: NUM919_1 by Refute---2015