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