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