29.42/32.62	unsat
