8.78/10.86	unsat
