19.58/26.87	unsat
