TSTP Solution File: SWC119-1 by Refute---2015