9.17/11.76	unsat
