28.08/29.96	unsat
