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