4.78/6.77	unsat
