9.58/10.79	unsat
