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