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