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