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