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