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