9.97/12.76	unsat
