14.69/15.61	unsat
