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