7.78/7.89	unsat
