TSTP Solution File: SEU890^5 by DCTP---1.31