29.83/32.62	unsat
