6.08/6.89	unsat
