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