9.88/10.76	unsat
