6.78/6.89	unsat
