11.58/11.68	unsat
