12.47/12.76	unsat
