TSTP Solution File: SWC219-1 by Refute---2015