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