12.58/12.68	unsat
