7.78/10.52	unsat
