26.35/26.48	unsat
