9.55/9.68	unsat
