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