30.91/32.87	unsat
