14.23/14.69	unsat
