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