7.78/7.84	unsat
