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