12.66/12.76	unsat
