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