9.00/10.69	unsat
