7.78/7.85	unsat
