4.78/6.84	unsat
