9.62/9.68	unsat
