9.36/10.69	unsat
