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