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