TSTP Solution File: NUM509+3 by Refute---2015