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