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