5.88/9.68	unsat
