6.09/6.69	unsat
