TSTP Solution File: KRS128+1 by CARINE---0.734