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