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