26.76/29.78	unsat
