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