7.78/7.97	unsat
