7.78/10.46	unsat
