31.35/32.06	unsat
