5.78/6.85	unsat
