29.86/29.96	unsat
