29.42/30.67	unsat
