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