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