9.58/11.64	unsat
