TSTP Solution File: SEU294+3 by Refute---2015