26.83/28.35	unsat
