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