4.78/6.69	unsat
