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