5.07/6.69	unsat
