26.35/26.46	unsat
