TSTP Solution File: KRS003-1 by SRASS---0.1