26.76/28.35	unsat
