TSTP Solution File: SEU717^1 by Refute---2015