TSTP Solution File: SWW368+1 by Nitpick---2016