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