26.58/27.64	unsat
