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