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