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