TSTP Solution File: NUM524+1 by Refute---2015