5.78/6.83	unsat
