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