32.91/33.09	unsat
