29.22/32.87	unsat
