26.76/29.33	unsat
