26.58/26.68	unsat
