TSTP Solution File: SEU010+1 by Refute---2015