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