TSTP Solution File: NUM378+1.010.015 by Refute---2015