TSTP Solution File: SEU194+2 by Refute---2015