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