6.08/7.67	unsat
