TSTP Solution File: SEU819^2 by Refute---2015