TSTP Solution File: NUM375+1.025 by Refute---2015