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