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