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