TSTP Solution File: SEU427+4 by Refute---2015