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