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