9.56/9.69	unsat
