TSTP Solution File: SEU944^5 by CARINE---0.734