26.35/26.69	unsat
