12.58/12.64	unsat
