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