26.74/26.83	unsat
