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