TSTP Solution File: SEU114+1 by Refute---2015