TSTP Solution File: SEU296+2 by Refute---2015