8.78/10.76	unsat
