29.85/29.96	unsat
