10.67/10.76	unsat
