4.88/6.69	unsat
