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