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