29.42/29.97	unsat
