32.59/33.06	unsat
