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