29.08/29.93	unsat
