6.08/6.69	unsat
