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