TSTP Solution File: SEU540^1 by DCTP---1.31