28.72/29.78	unsat
